65纳米工艺双层三维静态存储器的软错误分析与评估

首先搭建了3D SRAM软错误分析平台,可以快速、自动分析多层die堆叠结构3D SRAM的软错误特性。此平台集成了多种层次模拟软件Geant4、TCAD、Nanosim,数据记录处理软件ROOT,版图处理软件Calibre,以及用于任务链接和结果分析的Perl和shell脚本。利用该平台,对以字线划分设计的3D SRAM和同等规模的2D SRAM分别进行软错误分析,并对分析结果进行了对比。对比分析表明2D 和3D SRAM的翻转截面几乎相同,但3D SRAM单个字中发生的软错误要比2D SRAM更严重,导致难以使用ECC技术对其进行加固。静态模式下2D SRAM和3D SRAM敏感节点均分布于存储阵列中,表明静态模式下逻辑电路不会引发软错误。     

A sequential auction‐bargaining procurement model

One of the most important decisions that a firm faces in managing its supply chain is a procurement decision: selecting suitable suppliers among many potential competing sellers and reducing the purchase cost. While both auctions and bargaining have been extensively studied in the literature, the research that combines auctions and bargaining is limited. In this article, we consider a combined auction‐bargaining model in a setting where a single buyer procures an indivisible good from one of many competing sellers. The procurement model that we analyze is a sequential model consisting of the auction phase followed by the bargaining phase. In the auction phase, the sellers submit bids, and the seller with the lowest bid is selected as the winning bidder. In the bargaining phase, the buyer audits the cost of the winning seller and then negotiates with him to determine the final price. For this auction‐bargaining model, we find a symmetric equilibrium bidding strategy for the sellers in a closed form, which is simple to understand and closely related to the classical results in the auction and bargaining literature. We also show that the auction‐bargaining model generates at least as much profit to the buyer as the standard auction or sequential bargaining model. © 2009 Wiley Periodicals, Inc. Naval Research Logistics, 2010     

金属化聚丙烯膜脉冲电容器过载特性

脉冲电容器作为爆磁压缩激励电流源的储能元件之一,通常要求单次可靠运行。正是由于单次运行,为脉冲电容器的过载工作提供了极大的可能。过载工作的电容器与额定电容器相比具有体积小、重量轻的优点,可实现爆磁压缩激励电流源的紧凑化。研究了不同温度下国产金属化聚丙烯膜脉冲电容器的过载特性,如过载运行的储能密度,放电电流及可靠度等。实验表明:在-45℃~60℃范围内过载运行这种电容器,其储能密度可达额定储能密度的1.8倍,同时在0.95的置信水平下,其过载运行的可靠度单侧置信下限为0.9,可以实现稳定可靠运行。     

浮空器气体混充定高建模与仿真

依据浮空器浮重平衡特性以及理想气体状态方程,探索了一种气体混充控制浮空器平飞高度的定高方式,并对浮空器气体混充定高技术进行了总体设计研究。考虑到热力学特性对于浮空器上升过程和平飞过程的重要性,结合工程热力学中混充气体的热物性能,以超压气球作为研究对象,分析球体上升和平飞过程中的热环境,并与动力学模型进行耦合。在此基础上,对混充气球上升及平飞过程进行力学仿真,得到气球上升过程中高度、速度、气体温度以及压强的变化,验证了浮空器混充定高技术的可行性,为后续浮空器飞行试验提供指导。     

一种基于单频GPS接收机的自迭代定位算法

随着通用航空及无人机产业的发展,低成本及小型化的导航解决方案将具有广泛的市场。提出了一种基于单频GPS接收机的自迭代定位算法,用于提高定位精度,增强定位收敛性。对该算法的基本原理进行了分析,并推导出该算法的数学模型,通过静态实验的方法对该算法的收敛性进行验证,并将该算法的位置信息与最小二乘法解出的位置信息进行对比,体现了自迭代定位算法的优势。     

箔条云干扰下的单目标恒虚警率检测研究

箔条云在扩散过程中随着时间变化会稀释和扩大,其回波特性会发生改变,被检测目标与箔条的相互位置关系也会影响雷达恒虚警检测。针对作战对抗过程中箔条干扰易造成雷达接收机阻塞干扰目标检测,检测概率迅速降低且易丢失目标贻误战机,通过详细分析箔条的扩散过程及信号频谱特性及其箔条云和目标的两种位置关系,利用恒虚警处理算法在噪声基底为10 dB和20 dB情况下对目标进行恒定虚警率检测研究。研究结果对改善飞机检测性能和抗虚警能力以及提高战场生存率具有积极作用。     

基于作战环的单目标毁伤概率分析

针对现代化战争的特点,基于作战环的思想,将整个作战环分成几个不同的环节进行分析,并提出了一种求解武器装备对于单目标毁伤概率的计算方法。该方法考虑了不同环节对于目标毁伤的影响,定量计算了武器装备对敌方目标的毁伤概率,既从宏观层面上考虑了武器装备的涌现性,又从底层分析了影响目标毁伤的参数。最后通过示例分析验证了方法的可行性和有效性。     

工程陶瓷单晶压痕边缘破碎理论研究与机理分析

通过单晶压痕边缘破碎实验,研究陶瓷发生边缘脆性破裂整个过程的力值变化,结果表明:压痕距边缘距离越小,压力施载速度越快,发生边缘破碎的脆性断裂力值越小。结合单晶压痕应力场数值模型和有限元仿真,分析了陶瓷材料受不同条件的外加载压力作用下的应力场分布和失效条件,其所得结论与实际结果一致。通过对压痕部位和边缘破碎部位显微形貌观察,证明边缘破碎缘于裂纹失稳扩展和贯通,并运用线弹性断裂力学理论分析了边缘破碎机理。     

微槽结构单点金刚石飞切加工的切削力建模

超精密单点金刚石飞刀切削技术是一种比较新颖的微槽类结构加工方式。在飞切过程中,切削力是切削过程中重要的物理量,对加工后的表面质量、刀具磨损等有着直接影响。提出了一种基于直角微切削理论的动态微槽类结构飞切的力学模型,基于微切削理论,得到了前、后刀面切削力的理论模型。根据飞切的几何运动特征,建立了飞切过程中剪切角的计算模型,并根据单圈飞切实验得到了飞切过程中剪切面的变化规律。为了验证模型的正确性,采用不同切削参数进行了多圈重叠飞切实验,对切削力进行了测量和分析。实验得到的切削力大小和变化规律与理论模型计算得到的基本一致,证明了该切削力模型的有效性。     

一种新闻事件演化建模方法

为了准确地发现话题中事件间的潜在关系,提出一种新闻事件演化建模方法。该方法利用事件的时间关系、内容相似性、命名实体关联信息构建新的演化关系模型,并通过定义事件的五种演化模式,识别出演化过程中的开始、中间、结束事件,最后根据新演化模型及演化模式建立事件演化的有向无环图模型,揭示事件发展的潜在脉络结构。实验结果表明,本文方法能够有效检测事件演化,提升系统性能。